| emsoft | participants

Dejan Nickovic

EMSOFT 2023: 23rd International Conference on Embedded Software

Mining Hyperproperties using Temporal Logics

Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, and Dejan Nickovic